101. Computable analysis
Author: / Oliver Aberth
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursion theory,Mathematical analysis
Classification :
QA9
.
6
.
A23
102. Computable analysis: an introduction
Author: Weihrauch, K. )Klaus(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Recursion theory,، Mathematical analysis
Classification :
QA
9
.
59
.
W46
2000
103. Computable analysis : an introduction
Author: Klaus Weihrauch
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursion theory,، Mathematical analysis
Classification :
QA
9
.
59
.
W44C6
104. Computable economics
Author: / Kumaraswamy Velupillai
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Economics, Mathematical.,Induction (Mathematics),Recursion theory.
Classification :
HB
,
135
,.
V42
,
2000
105. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
106. Computational logic
Author: edited by Ulrich Berger, Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.
Classification :
QA76
.
9
.
L63
E358
1999
107. Computational prospects of infinity
Author: editors, Chitat Chong ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Infinite
Classification :
QA
248
.
W582
2005
108. Computer Algebra :
Author: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.
Classification :
QA155
.
7
.
E4
E358
1982
109. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
110. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
111. Continuous advances in QCD 2008 :
Author: editor, M. Peloso.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Quantum chromodynamics, Congresses.,Quantum chromodynamics.,TECHNOLOGY & ENGINEERING-- Power Resources-- Nuclear.
Classification :
QC793
.
3
.
Q35
C64
2008eb
112. Deep learning: how the mind overrides experience
Author: Ohlsson, Stellan
Library: Special Library of University of Religions (Qom)
Subject: ، Learning, Psychology of,، Cognitive learning theory,، Mind and body,، Experience
Classification :
BF
318
.
O45
2011
113. Descriptive set theory /
Author: Yiannis N. Moschovakis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
Classification :
QA248
.
M66
1980eb
114. Diagonalization and self-reference
Author: Smullyan, Raymond M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory,، Fixed point theory
Classification :
QA
9
.
6
.
S67
1994
115. Diagonalization and self-reference
Author: Smullyan, Raymond M.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Recursion theory,، Fixed point theory
Classification :
QA
9
.
6
.
S67
1994
116. Diagonalization and self-reference
Author: Smullyan, Raymond M
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory►Fixed point theory
Classification :
9
.
6
.
S67
117. Diagonalization and self-reference
Author: Smullyan, Raymond M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Recursion theory , Fixed point theory
Classification :
QA
9
.
6
.
S67
1994
118. Diagonalization and self-reference
Author: Raymond M. Smullyan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Fixed point theory
Classification :
QA
9
.
6
.
S67
119. Diagonalization & self-reference
Author: Smullyan, Raymond M.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Recursion theory,، Fixed point theory
Classification :
QA
9
.
6
.
S67
120. Discrete mathematics /
Author: Seymour Lipschutz, Marc Lars Lipson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
Classification :
QA162
.
L767
2007
